:: Integer -> Double -package:hmpfr package:random-fu

The CDF of the random variable realFloatStdUniform.